sys{-}cmds($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$chain\_sys\_ind($x$;$c$.[$c$];$i$,${\it cmds}$.${\it cmds}$)